チューリング完全(Turing complete)
チューリング完全(Turing complete)とは、何らかの計算を行う機構(論理回路や人工言語とその処理系など)が、万能チューリングマシンに等しい能力を持っていること。あらゆる計算を記述、実行できることを表す。
from
IT用語辞典
万能チューリングマシンが解けない問題としてよく、
停止性問題
が挙げられる
Naa_tsure.icon
プログラミング言語
がよく例として挙げられるが、
マリオメーカー
や
マジック:ザ・ギャザリング(Magic: The Gathering; MTG)
もチューリング完全であることが示されている
マリオメーカーはチューリング完全だった【万能計算機】
Magic: The Gathering is Turing Complete | arXiv (2019)